Termination analysis - PDFSEARCH.IO - Document Search Engine

Termination analysis
Results: 113

#	Item
61	Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1 Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-01-30 08:47:53 Static program analysis Termination analysis Automated theorem proving Programming paradigms Constraint programming Logic in computer science Prolog Unification Computer program Software engineering Computing Theoretical computer science
62	Challenges in Relational Learning for Real-Time Systems Applications Mark Bartlett1,2 , Iain Bate2 , and Dimitar Kazakov1 1 Artificial Intelligence Group, Department of Computer Science, Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2012-05-02 15:17:36 Real-time computing Worst-case execution time Compiler construction Compiler optimizations Control flow For loop Machine learning Infinite loop Termination analysis Computing Software engineering Computer programming
63	Program Termination analysis using MAX-SMT∗ Daniel Larraz1 , Albert Oliveras1 , Enric Rodríguez-Carbonell1 , and Albert Rubio1 1 Universitat Politècnica de Catalunya, Barcelona, Spain Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:14 Electronic design automation Logic in computer science Satisfiability Modulo Theories Theoretical computer science Applied mathematics Constraint programming
64	Automated nontermination proofs by safety proofs Hong-Yi Chen1 , Byron Cook1,2 , Carsten Fuhs1 , Kaustubh Nimkar1 , and Peter O’Hearn1 1 2 Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 Mathematical logic Algorithm IP Termination analysis Stack NP KeY Theoretical computer science Applied mathematics Mathematics
65	How to Win Patients and Influence Community Communication A Step by Step Guide for Looping your Community By Susan M. Lopez, Au.D. and Mary T. Caccavo, Ph.D. These days, we see a lot of articles and “buzz” about how Add to Reading List Source URL: hearingloop.org Language: English - Date: 2015-01-15 14:34:18 Otology Control flow Assistive technology Hearing aids Audiology Infinite loop Loop Vertical loop Termination analysis Medicine Health Computer programming
66	Cooperation For Better Termination Proving Marc Brockschmidt1 , Byron Cook2 , and Carsten Fuhs3 1 2 3 Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 IP KeY Byron Cook Formal methods Applied mathematics Theoretical computer science Static program analysis Termination analysis
67	! ! Contribution!of!the! AI4FM!2014! Workshop! Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2014-05-08 12:11:09 Formal methods Formal sciences Mathematical logic Logic in computer science Correctness Termination analysis Hoare logic Automated theorem proving Logical framework Mathematics Theoretical computer science Applied mathematics
68	Embracing Overapproximation for Proving Nontermination Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter O’Hearn University College London ABSTRACT Add to Reading List Source URL: tinytocs.org Language: English - Date: 2015-03-07 12:34:01 Byron Cook Year of birth missing Termination analysis
69	Automated Certified Proofs with CiME3∗ ´ Contejean1,2 E. P. Courtieu3 Add to Reading List Source URL: cedric.cnam.fr Language: English - Date: 2011-02-13 18:15:50 Applied mathematics Automated theorem proving Formal languages Logic in computer science Computability theory Termination analysis Mathematical proof Rewriting Heuristic Theoretical computer science Mathematics Mathematical logic
70	Towards the Evaluation of Referring Expression Generation Robert Dale Centre for Language Technology Macquarie University Sydney NSW[removed]removed] Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2006-11-21 07:43:26 Natural language processing Semantics Referring expression generation Natural language generation Algorithm Referring expression Word-sense disambiguation Termination analysis Sense and reference Computational linguistics Linguistics Science

UPDATE